A Braided Lambda Calculus
نویسندگان
چکیده
We present an untyped linear lambda calculus with braids, the corresponding combinatory logic, and semantic models given by crossed G-sets.
منابع مشابه
Infinitary Lambda Calculus Innnitary Lambda Calculus
In a previous paper we have established the theory of transsnite reduction for orthogonal term rewriting systems. In this paper we perform the same task for the lambda calculus. From the viewpoint of innnitary rewriting, the BB ohm model of the lambda calculus can be seen as an innnitary term model. In contrast to term rewriting, there are several diierent possible notions of innnite term, whic...
متن کاملBraided differential calculus and quantum Schubert calculus
We provide a new realization of the quantum cohomology ring of a flag variety as a certain commutative subalgebra in the cross product of the Nichols-Woronowicz algebras associated to a certain Yetter-Drinfeld module over the Weyl group. We also give a generalization of some recent results by Y.Bazlov to the case of the Grothendieck ring of a flag variety of classical type. Résumé. Nous fournis...
متن کاملA Lambda-Calculus with Constructors
We present an extension of the ( )-calculus with a case construct that propagates through functions like a head linear substitution, and show that this construction permits to recover the expressiveness of ML-style pattern matching. We then prove that this system enjoys the Church-Rosser property using a semi-automatic `divide and conquer' technique by which we determine all the pairs of commut...
متن کاملA Lambda Calculus with Forms
The need to use position-dependent parameters often hampers the definition of flexible, extensible, and reusable abstractions for software composition. This observation has led us to explore the concept of forms, which are first-class extensible records and that, in combination with a small set of purely asymmetric operators, provide a core language to address this issue. One interesting applic...
متن کاملFree Braided Differential Calculus, Braided Binomial Theorem and the Braided Exponential Map
Braided differential operators ∂ are obtained by differentiating the addition law on the braided covector spaces introduced previously (such as the braided addition law on the quantum plane). These are affiliated to a Yang-Baxter matrix R. The quantum eigenfunctions expR(x|v) of the ∂ i (braided-plane waves) are introduced in the free case where the position components xi are totally noncommuti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic proceedings in theoretical computer science
سال: 2021
ISSN: ['2075-2180']
DOI: https://doi.org/10.4204/eptcs.353.5